../../../../../../../../../src/external/lkm/bsd/machine/smp.h